Software Engineering Institute - PDFSEARCH.IO - Document Search Engine

Software Engineering Institute
Results: 1594

#	Item
781	PROFESSIONAL SERVICES  Reviewer - Technical Publications Transportation Science Transportation Research Part A, B, C, D, E.  ASCE Journal of Transportation Engineering Add to Reading List Source URL: civil.arizona.edu Language: English - Date: 2013-02-08 13:52:35 Engineering Institute of Transportation Engineers Institute for Operations Research and the Management Sciences Intelligent transportation system Federal Highway Administration Technology Science Simulation software Center for Transportation Research UT Austin Transport engineering Transportation in the United States American Society of Civil Engineers
782	Secretary/Treasurer: THOMAS ASSOCIATES, INC. August 19, 2014 To: Add to Reading List Source URL: www.cpsc.gov Language: English - Date: 2014-11-07 10:18:18 C Software engineering Programming language theory Computing Standards organizations American National Standards Institute
783	INF. & ANN. SynGrant About SynGrant: SynTalk Grants (SynGrants) are intended as a gesture of financial, infrastructure and thought support for independent scholars and thinkers. The scholar should be committed to undert Add to Reading List Source URL: www.ias.ac.in Language: English - Date: 2014-11-12 12:44:12 ALGOL 68 Gmail Rochester Institute of Technology Computing Programming language theory Software engineering
784	Microsoft Word - Guideline for Professional Responsibilities in Developing Software.doc Add to Reading List Source URL: www.apega.ca Language: English - Date: 2010-07-28 17:11:42 Regulation and licensure in engineering Professional Technologist Association of Professional Engineers Geologists and Geophysicists of Alberta Software engineer Engineer Institute of Electrical and Electronics Engineers Software development process IEEE Computer Society Proprietary software Software engineering Science Engineering
785	FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution)? Arie Gurfinkel1 and Anton Belov2 1 Carnegie Mellon Software Engineering Institute Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM Z3 Invariant Model checking Theoretical computer science Computing Software engineering
786	ACE: a Novel Software Platform to Ensure the Long Term Integrity of Digital Archives Sangchul Song, Joseph JaJa; Institute for Advanced Computer Studies, Department of Electrical and Computer Engineering, University of M Add to Reading List Source URL: wiki.umiacs.umd.edu Language: English - Date: 2008-09-10 16:10:09 Museology Error detection and correction Archival science Library science Cryptographic hash function Information science Hash function Digital preservation Hashing Cryptography Data quality
787	Pittsburgh, PA[removed]SIS Acquisition Reconsidering the Role of Systems Engineering in DoD Software Add to Reading List Source URL: resources.sei.cmu.edu Language: English - Date: 2004-01-28 00:00:00 Science Carnegie Mellon University Systems engineering Military acquisition Software Engineering Institute Software architecture Capability Maturity Model Software engineering Software product line Software development Software Software development process
788	TUTORIAL TITLE: A Case Study In Incident and Vulnerability Handling Coordination ABSTRACT: This 90 minute presentation will detail a 12-week examination of the Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 1999-11-05 00:00:00 CERT Coordination Center Andrew Carnegie Association of American Universities Mellon family Information Networking Institute Carnegie Mellon University Carnegie Mellon Silicon Valley Software Engineering Institute
789	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.org Language: English - Date: 2014-11-13 21:39:07 Software engineering Formal verification Model checking Carnegie Mellon University Software Engineering Institute Automated proof checking Proof-carrying code Formal methods Computer science Software development
790	Assessing Network Infrastructure Vulnerabilities to Physical Layer Attacks 1 T. H. Shake, B. HazzardÁ, D. Marquis Distributed Systems Group, ÁAdvanced Networks Group Lincoln Laboratory, Massachusetts Institute of Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 1999-11-05 00:00:00 Computer network security Network topology Hacking Software testing Vulnerability Topology Computer network Node Optical fiber Electronics Electronic engineering Cyberwarfare

UPDATE